『 Martin-Lofの 理論とそのパラドックス 』あいまいな本日の私 blog
Martin-Lofの 理論とそのパラドックス
, あいまいな本日の私 blog. 2008-06-04.
Martin-Löf型理論
Thierry Coquandの An Analysis of Girard's Paradox (LICS 1986)
Doug Howe のThe Computational Behaviour of Girard's Paradox
ジラールのパラドックス
↓簡略化
Hurkensのパラドックス
#Coq
#Agda
#形式手法
#文献